Requêtes arbres régulières pour l'analyse de dépendances entre vues et mises à jour de documents XML

RÉSUMÉ. Dans ce papier nous étudions le problème classique de l’impact d’une mise à jour sur une vue, dans le cadre de données semi-structurées. Nous faisons les hypothèses suivantes: (i) le document source est modélisé par un arbre ordonné étiqueté par des symboles à arités variables, (ii) une vue V est une requête arbre dont l’évaluation sur le document source fournit la vue partielle souhaitée du document (iii) une classe de mises à jour C est également donnée par une requête arbre sélectionnant les nœuds à modifier. Nous étudions alors le problème suivant : étant données une requête de vue V et une classe de mise à jour C, est-il possible de détecter si la vue V est indépendante de toute mise à jour q de C ? Nous montrons que le problème est en général PSPACE-difficile. Nous exhibons une condition suffisante évaluable en temps polynomial assurant l’indépendance d’une vue V par rapport à une classe de mises à jour C. Nous montrons ensuite que le problème est polynomial pour la classe des requêtes de vues linéaires. Nous établissons également que le modèle de requête arbre choisi pour exprimer V et C, bien qu’incomparable avec XPath, permet d’exprimer les requêtes de CoreXPath positif.